Scope of a Cohesion Protocol Specification
نویسندگان
چکیده
Long-running “business transactions” which may be processed by discrete organizations across the public internet differ from classical atomic transactions in requiring increased protocol security and interoperability, and relaxable atomicity, isolation and durability properties. A protocol is required which is independent of communications mechanism, is capable of supporting fully ACID transaction processing, yet is also capable of supporting different AID qualities of service. Such a protocol would provide “appropriate transactionality” to applications. “Cohesive” actions (cohesions) could be processed as a superset of atomic actions, thus enabling a clean integration of legacy transactional resources and services, when appropriate.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملSlice-based Formal Specification Measures - Mapping Coupling and Cohesion Measures to Formal Z
This paper demonstrates that existing slice-based measures can reasonably be mapped to the field of state-based specification languages. By making use of Z specifications this contribution renews the idea of slice-profiles and derives coupling and cohesion measures for them. The measures are then assessed by taking a critical look at their sensitiveness in respect to modifications on the specif...
متن کاملSound Security Protocol Transformations
We propose a class of protocol transformations, which can be used to (1) develop (families of) security protocols by refinement and (2) abstract existing protocols to increase the efficiency of verification tools. We prove the soundness of these transformations with respect to an expressive security property specification language covering secrecy and authentication properties. Our work clarifi...
متن کاملSpecialized Knowledge Representation and the Parameterization of Context
Though instrumental in numerous disciplines, context has no universally accepted definition. In specialized knowledge resources it is timely and necessary to parameterize context with a view to more effectively facilitating knowledge representation, understanding, and acquisition, the main aims of terminological knowledge bases. This entails distinguishing different types of context as well as ...
متن کاملImmigrant influx and social cohesion erosion
If immigration causes a decrease in social cohesion, then it may also be an important contributing factor in the recent failure of financial institutions. The present analysis finds some evidence for a negative relationship between immigration and volunteering from the Current Population Survey 2004–2008 September Supplements. Various specifications confirm the tendency of immigrant inflows to ...
متن کامل